Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
931	HSR – University of Applied Sciences Rapperswil Institute for Software Master Thesis C3P0 C-Plus-Plus-Parser-for-C++0x Add to Reading List Source URL: eprints.hsr.ch Language: English - Date: 2013-06-21 04:51:03 Compiler construction Formal languages Parsing Parser generators C++ ANTLR 0X Lexical analysis Preprocessor Computing Software engineering Programming language implementation
932	December 2012 http://www.wipro.com \| http://knowledge.wharton.upenn.edu Knowledge@Wharton-Wipro Future of Industry Series: Technology Innovation Add to Reading List Source URL: www.wipro.com Language: English - Date: 2012-12-11 12:27:56 Data analysis Formal sciences Customer analytics Analytics Peter Fader ADAPA Big data Business analytics Learning analytics Business intelligence Business Data management
933	Applications Developer Job ID #748 In this role, whether you’re working directly with customers on their projects, figuring out how to improve Dato’s business with data, educating Add to Reading List Source URL: dato.com Language: English - Date: 2015-02-15 00:57:45 Business intelligence Data analysis Formal sciences Learning GraphLab Machine learning Text analytics Recommender system Analytics Statistics Science Computing
934	Microsoft Word - speedup10.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-27 18:18:38 Digital electronics Electrical circuits Electronic design And-inverter graph Field-programmable gate array Static timing analysis Logic synthesis Propagation delay Retiming Electronic engineering Electronic design automation Formal methods
935	6JSC/RDA/Element analysis table/Rev RDA Element Analysis A B Add to Reading List Source URL: www.rda-jsc.org Language: English - Date: 2013-06-12 17:48:35 Software engineering Pattern matching Character encoding String HTML element Regular expression Formal languages Computing Combinatorics
936	Department of Business Analytics & IT Introduction The department of Business Analytics aims at providing thrust to the area of Information Technology. Generally data driven companies treat their data as corporate asset. Add to Reading List Source URL: www.gitam.edu Language: English - Date: 2014-02-24 23:24:29 Formal sciences Statistics Data analysis Business analytics Data warehousing Analytics Data mining Ebrary Learning analytics Business intelligence Business Data management
937	Last Updated: July, 2014 MS/Customer Analytics Courses Summer Foundations Courses (0.5 Credits) MEC 5200: Fundamentals of Statistics and SPSS Programming R Programming Workshop (2 day) Add to Reading List Source URL: www.olin.wustl.edu Language: English - Date: 2014-10-29 16:57:25 Business intelligence Science Formal sciences Strategic management Marketing research Database marketing Data mining Conjoint analysis Quantitative analyst Business Marketing Market research
938	A Comparison of Methods for Player Clustering via Behavioral Telemetry Anders Drachen Christian Thurau PLAIT Lab/Game Analytics Add to Reading List Source URL: www.fdg2013.org Language: English - Date: 2013-05-13 10:49:52 Machine learning Formal sciences Linear algebra Non-negative matrix factorization Principal component analysis K-means clustering Cluster analysis Segmentation Pattern recognition Statistics Multivariate statistics Data analysis
939	Microsoft Word - fpga061s-mishchenko1.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-12-16 19:04:56 Digital electronics Electronic design And-inverter graph Field-programmable gate array Logic synthesis Static timing analysis Placement Logic optimization Propagation delay Electronic engineering Electronic design automation Formal methods
940	Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Afify, Ashraf A. and Dimov, S. S. and Naim, Mohamed and Valeva, Add to Reading List Source URL: eprints.mdx.ac.uk Language: English - Date: 2015-01-06 13:39:38 Machine learning Formal sciences Geostatistics Cluster analysis Data mining K-means clustering Principal component analysis Pattern recognition Consensus clustering Statistics Data analysis Multivariate statistics

UPDATE